C++ Применение, пятый выпуск: Механика управления копированием

Освоить жизненный цикл объекта на С++ — значит полностью овладеть самой механикой его существования в куче и стеке. Управление копированием определяет, как класс управляет своим жизненным циклом с помощью двух операций: конструктор копирования и конструктор копирования и оператор присваивания копии.

1. Инициализация против присваивания

Прямая инициализация (например, string dots(10, '.')) напрямую вызывает конструктор. Однако инициализация копированием (string s2 = dots) зависит от конструктора копирования. В отличие от инициализации, присваивание (trans = accum) перезаписывает существующий объект с помощью оператора =. Критическое ограничение: параметр конструктора копирования должен быть ссылкой (const Foo&); в противном случае передача аргумента по значению вызовет бесконечную рекурсивную петлю вызовов копирования.

2. Роль синтеза

Если вы не определите эти члены, компилятор предоставит синтезированные версии, которые выполняют копирование по элементам. Остерегайтесь: хотя для простых типов они достаточны, часто они не работают для классов, управляющих динамической памятью, что приводит к висячим указателям или двойным освобождениям памяти.

TERMINALbash — 80x24

> Ready. Click "Run" to execute.

QUESTION 1

Why must the first parameter of a copy constructor be a reference type (usually const)?

To allow the compiler to optimize the code into a move operation.

To prevent infinite recursion during parameter initialization.

Because pointers are not allowed in constructor signatures.

To ensure the object is placed on the heap rather than the stack.

QUESTION 2

What is the primary difference between Copy Initialization and Direct Initialization?

Direct initialization uses the assignment operator; copy initialization does not.

Copy initialization always requires the 'new' keyword.

Direct initialization asks the compiler to find the best constructor; copy initialization requires the copy constructor.

There is no functional difference; they are just different syntax for the same call.

QUESTION 3

Assume 'numbered' has a synthesized copy constructor that copies a unique ID 'mysn'. What happens if you run: numbered a, b = a, c = b;?

Each object (a, b, c) will have a unique 'mysn' value.

The program will fail to compile because IDs cannot be copied.

All three objects will share the exact same 'mysn' value.

Object 'a' will be reset to zero after the copy.

QUESTION 4

Which of the following would trigger a compilation error if the constructor 'vector<int>(int size)' is marked 'explicit'?

vector<int> v(10);

vector<int> v = 10;

f(vector<int>(10));

vector<int>* p = new vector<int>(10);

QUESTION 5

What should a well-behaved copy-assignment operator usually return?

void

A copy of the current object by value.

A reference to the left-hand operand (*this).

The memory address of the right-hand operand.